Integrand size = 42, antiderivative size = 140 \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=-\frac {\log \left (\frac {-b c+a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b}-\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{b}+\frac {2 \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )}{b} \]
[Out]
Time = 0.06 (sec) , antiderivative size = 140, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {2552, 2354, 2421, 6724} \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=-\frac {2 \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right ) \log \left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b}-\frac {\log \left (\frac {a d-b c}{d (a+b x)}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b}+\frac {2 \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )}{b} \]
[In]
[Out]
Rule 2354
Rule 2421
Rule 2552
Rule 6724
Rubi steps \begin{align*} \text {integral}& = \text {Subst}\left (\int \frac {\log ^2\left (\frac {(b e-a f) x}{d e-c f}\right )}{d-b x} \, dx,x,\frac {c+d x}{a+b x}\right ) \\ & = -\frac {\log \left (\frac {-b c+a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b}+\frac {2 \text {Subst}\left (\int \frac {\log \left (\frac {(b e-a f) x}{d e-c f}\right ) \log \left (1-\frac {b x}{d}\right )}{x} \, dx,x,\frac {c+d x}{a+b x}\right )}{b} \\ & = -\frac {\log \left (\frac {-b c+a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b}-\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right )}{b}+\frac {2 \text {Subst}\left (\int \frac {\text {Li}_2\left (\frac {b x}{d}\right )}{x} \, dx,x,\frac {c+d x}{a+b x}\right )}{b} \\ & = -\frac {\log \left (\frac {-b c+a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b}-\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right )}{b}+\frac {2 \text {Li}_3\left (\frac {b (c+d x)}{d (a+b x)}\right )}{b} \\ \end{align*}
Time = 0.03 (sec) , antiderivative size = 135, normalized size of antiderivative = 0.96 \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=\frac {-\log \left (\frac {-b c+a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )-2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )+2 \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )}{b} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(418\) vs. \(2(140)=280\).
Time = 3.77 (sec) , antiderivative size = 419, normalized size of antiderivative = 2.99
method | result | size |
derivativedivides | \(\frac {\left (c f -d e \right ) \left (\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (1-\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )+2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )-2 \,\operatorname {Li}_{3}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )\right )}{-b c f +b d e}\) | \(419\) |
default | \(\frac {\left (c f -d e \right ) \left (\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (1-\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )+2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )-2 \,\operatorname {Li}_{3}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )\right )}{-b c f +b d e}\) | \(419\) |
risch | \(\frac {\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (1-\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right ) c f}{-b c f +b d e}-\frac {\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (1-\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right ) d e}{-b c f +b d e}+\frac {2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right ) c f}{-b c f +b d e}-\frac {2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right ) d e}{-b c f +b d e}-\frac {2 \,\operatorname {Li}_{3}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right ) c f}{-b c f +b d e}+\frac {2 \,\operatorname {Li}_{3}\left (\frac {\left (-b c f +b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right ) d e}{-b c f +b d e}\) | \(879\) |
[In]
[Out]
\[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=\int { \frac {\log \left (\frac {{\left (b e - a f\right )} {\left (d x + c\right )}}{{\left (d e - c f\right )} {\left (b x + a\right )}}\right )^{2}}{b x + a} \,d x } \]
[In]
[Out]
\[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=\int \frac {\log {\left (- \frac {a c f}{- a c f + a d e - b c f x + b d e x} - \frac {a d f x}{- a c f + a d e - b c f x + b d e x} + \frac {b c e}{- a c f + a d e - b c f x + b d e x} + \frac {b d e x}{- a c f + a d e - b c f x + b d e x} \right )}^{2}}{a + b x}\, dx \]
[In]
[Out]
\[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=\int { \frac {\log \left (\frac {{\left (b e - a f\right )} {\left (d x + c\right )}}{{\left (d e - c f\right )} {\left (b x + a\right )}}\right )^{2}}{b x + a} \,d x } \]
[In]
[Out]
\[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=\int { \frac {\log \left (\frac {{\left (b e - a f\right )} {\left (d x + c\right )}}{{\left (d e - c f\right )} {\left (b x + a\right )}}\right )^{2}}{b x + a} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx=\int \frac {{\ln \left (\frac {\left (a\,f-b\,e\right )\,\left (c+d\,x\right )}{\left (c\,f-d\,e\right )\,\left (a+b\,x\right )}\right )}^2}{a+b\,x} \,d x \]
[In]
[Out]